$\vdash$  $\forall$$x$,$y$:$\mathbb{Z}$. ($\uparrow$$x$ $\leq$z $y$) $\Leftarrow\!\Rightarrow$ ($x$ $\leq$ $y$)